xen: arm: implement send_timer_event.
authorIan Campbell <ian.campbell@citrix.com>
Wed, 19 Dec 2012 14:16:26 +0000 (14:16 +0000)
committerIan Campbell <ian.campbell@citrix.com>
Wed, 19 Dec 2012 14:16:26 +0000 (14:16 +0000)
commit053012e77aa71f34cb19a3e93c7e7b76f5758c22
tree69fe6a953853f181f95d5afbd54cc5e6ed296e9c
parent6d31f5491a3e8192681163dd67ab8a39b7b34fac
xen: arm: implement send_timer_event.

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Tim Deegan <tim@xen.org>
Acked-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Committed-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/dummy.S
xen/arch/arm/time.c